∂27-AUG-75  1013		ESS,JMC
 Parker		72755,329-0829
␈ CC: :PHON.[ESS,JMC]

∂26-AUG-75  2307		ESS,JMC
 My visa says that it is attached to passport 1770639, whereas my passport is
 C1770639, i.e. they left out the C.  Please call the consulate and ask if
 they think it has to be fixed.
␈ CC: paw

∂26-AUG-75  2237		ESS,JMC
 	I thought you were still at M.I.T., and I wanted to consult with
 you as an alter ego of Winston about what to do to insure Yakimovsky his
 visa.  Perhaps we will meet on the airplane to Moscow since I am also
 leaving on Sunday on SU 581 at 11:55AM.  We can talk about your paper
 then.
␈ CC: cdr%AI

∂26-AUG-75  1231		ESS,JMC
 Minker office		454-2002
␈ CC: :PHON.[ESS,JMC]

∂26-AUG-75  1155		ESS,JMC
 Scanlon		253-5850
␈ CC: :PHON.[ESS,JMC]

∂25-AUG-75  1716		ESS,JMC
 
 ∂07-AUG-75  2121		ESS,JMC
  Feigenbaum 494-8579
 
 ∂06-AUG-75  2301		ESS,JMC
  Bajcsy 215 PE5 7962
␈ CC: :PHON.[ESS,JMC]

∂25-AUG-75  1439		ESS,JMC
 Reaction to reaction:
 
 	I find myself increasingly serving as an administrator
 presiding over getting support for and providing facilities to
 a conglomerate of separate projects with no opportunity to
 exercise any judgment over what lines of research are most
 promising.  This is not what I started the project for, and
 if it becomes clear that this is the only option, I will not
 continue as P.I.  I don't know what Stanford would do in that
 case - find another or drop it.
 
 	1. Even if we are not forbidden to reallocate money, this
 will already be quite difficult given the expectations that the
 group leaders will develop if there is a formal allocation in the
 final version of the proposal.
 
 	2. I believe that formal reasoning is one of the fundamental
 scientific problems of AI, and it is only being pursued at Stanford.
 If I cannot maintain a viable effort in this area, I will have
 to give up ARPA support rather than the research area and confine
 myself to paper studies.
 
 	I realize that in the present mood of ARPA Headquarters,
 this might suit them quite well, but I think that it would be wrong
 to continue the project without a basic research core.  Therefore, I
 hope that you will try to work something out that we can live with.
 
 	If there is doubt about whether formal reasoning is scientifically
 important, I suggest that you get some consultants.  I am even
 willing to defend it to the Jasons.  If there is doubt that the
 applied work in AI supported by DoD needs a basic research core,
 I suggest this very question be put to some such group.  In fact,
 they may have already dealt with it.
 
 	I realize that you have probably taken a pretty hard buffeting
 on these matters, but keeping a basic research component alive is
 very important, and I hope you will succeed.
 Can we talk about it on the phone.  I have to be at Project MAC on
 Thursday, and I am leaving for the AI conference on Saturday.
 
 	Let me personally apologize for making matters more tense just
 before you go back to M.I.T.
 
 					John
␈ CC: licklider%ISI

∂25-AUG-75  0146		ESS,JMC
 Do you have any reaction to our proposal yet? -John McCarthy
␈ CC: licklider%ISI;russell%ISI

∂24-AUG-75  1719		ESS,JMC
 Do you have a copy of Kowalski's "Predicate Logic as a Programming Language"?
 More generally, do you have any useful reports, etc. that we should xerox
 before you leave?
␈ CC: mg

∂23-AUG-75  1335		ESS,JMC
 Please phone me (415)321-7580 or 497-4430 or 497-4971.
␈ CC: hewitt%AI;carl%AI;cdr%AI

∂15-AUG-75  1831		ESS,JMC
 Note to Massy:
 I don't doubt that gov't requirements have contributed to administrative
 hypertrophy, but the same social forces that have led to it, have also
 operated within Stanford, and I can cite at least one example from an
 area with which the gov't is as yet unconcerned - a letter saying that
 I could have a room for the Bay Area AI Circle had copies going to sixteen
 offices at Stanford.
 
 copy to Floyd
␈ CC: paw

∂15-AUG-75  1823		ESS,JMC
 I don't have time to elaborate what I have already written, and therefore
 would appreciate having it forwarded to Col. Russell.  I shall be gone
 from about the 30th of August to perhaps the 20th of September at the
 AI meeting, etc.  If it turned out that August 29 was feasible for a
 meeting in Washington, I would be quite happy, because I could continue
 from there.  Otherwise, I couldn't attend till late September.
 Incidentally, Forrest Baskett here at Stanford has designed a very nice
 display with about $2K worth of parts that can do graphics and characters
 and communicate at adjustable rates.  If it works as expected, a month
 or two will tell, we will abandon our other display plans in its favor.
 It would make a good display for network use, because of its extreme
 flexibility.  If there is still interest in getting LARGE NUMBERS of
 pretty smart displays, his is a strong candidate.
␈ CC: weiner%RAND-RCC

∂15-AUG-75  1817		ESS,JMC
 Where do you currently stand as a graduate student?  What exams have you
 passed, etc., and how long were you a student before you dropped out?
 These matters are relevant to your readmission, and I am the new
 chairman of the Admission's Committee.  I think, though I am not sure,
 that you may have to deal with us.  Well, maybe its the graduate study
 committee.  In any case, it may be necessary to see a plan that will
 plausibly lead to a prompt thesis, and, in any case, such a plan will
 be relevant to whether we would support you.  If you had a thesis half
 done, it would be even better.  I have some plausible thesis problems,
 but I would have to be convinced that matters would go quickly.
␈ CC: jra

∂15-AUG-75  1806		ESS,JMC AT TTY72   1806
 Sure.
␈ CC: rem

∂13-AUG-75  2353		ESS,JMC
 The vertical deflection on my Imlac has died.
 CC: ted

∂13-AUG-75  2352		ESS,JMC
 I don't know if you got my previous message, because I sent it on my
 Imlac the disappearance of whose vertical deflection the message was about.
 CC: tag

∂12-AUG-75  1829		ESS,JMC
 ↔My Imlac has lost vertical deflection.
 CC: tag

∂12-AUG-75  1434		ESS,JMC
 I can give blood Aug 20 3pm (dentist at 4pm) and would like reminder.
 CC: bpm

∂11-AUG-75  1616		ESS,JMC
 Do you know someone who would like to make a small mechanical gadget for
 me and would do a good job?
 CC: vds
∂10-AUG-75  2057		ESS,JMC
 1. I talked to Floyd.  He would like a copy of the proposal as it stands,
 the red bound draft would do, and the routing sheet.  He will sign it and
 have his secretary hold it for telephone confirmation.  He will be around
 this week.
 
 2. I have half rewritten the formal reasoning part, producing sections
 called intro, epist, and part of a section called first all on pro,bg.
 The sections called intro and epist are probably ok now, but the section
 called first needs to be completed by saying more about what fol is and
 what is to be done to it.
 
 3. The section on MTC needs more work to make it more like the ancient
 proposal, but the sections on goals and milestones and on personnel are
 almost ok.  I expect to be able to finish on Monday afternoon.
 CC: hva;paw;reg;rww;bg


∂10-AUG-75  1322		ESS,JMC
 You may have seen stories in the New York Times etc. about the
 French computer music group led by Pierre Boulez that has been
 learning about computer music at the Stanford AI Lab and about
 their collaboration with the Stanford computer musicians.  In
 case you should worry or anyone should ask you, the Stanford
 musicians now have their own money in grants from NEA, NSF and
 private sources and will be paying their share of expenses.
 CC: licklider%ISI



∂07-AUG-75  2303		ESS,JMC
 I suggest you or Pat, I think preferably you, telephone Briabrin or
 Stefanyuk and tell them the result of the Lerner flap.
 It will supplement the letter.
 CC: ejs



∂07-AUG-75  2134		ESS,JMC
 We are always running out of SAIL manuals, etc., because of the government's
 limitation on how many of a document we can print.  Suppose we get some outside
 outfit, say S.U. Press or SCIP to "publish" these documents.  We will then
 buy them as required, and we will also be able to refer inquiries to the
 publisher.  Please find out if this will work.  There are SAIL, FAIL, Monitor,
 UUO, E (when Art Samuel gets a manual out), LISP 1.6, and UCI LISP, and
 probably also the FOL manual.
 CC: hva



∂07-AUG-75  2129		ESS,JMC
 hoho
 CC: :FOO



∂07-AUG-75  2127		ESS,JMC
 Why doesn't this work now?
 CC: :FOO



∂07-AUG-75  2121		ESS,JMC
 Feigenbaum 494-8579
 CC: :PHON



∂06-AUG-75  2345		ESS,JMC
 What is the current version of the FR part of the proposal so that I can
 edit it?  See what you can do towards producing some prose aimed at
 information description emphasizing that we are talking about SEMANTIC
 description.
 CC: bg;rww



∂06-AUG-75  2320		ESS,JMC
 I took FR2[PRO,BG] into CUR,JMC
 CC: bg;rww



∂06-AUG-75  2301		ESS,JMC
 Bajcsy 215 PE5 7962
 CC: :PHON



∂06-AUG-75  1825		ESS,JMC
 I mislaid your home phone number.
 CC: feigenbaum%ISI



∂06-AUG-75  1541		ESS,JMC
 No, I didn't see it in Japan though.
 CC: bpm



∂05-AUG-75  1425		ESS,JMC
 Please decorate plf.le1.
 CC: paw



∂05-AUG-75  1416		ESS,JMC
 GELFAN.LE1[LET,JMC] is a letter to J. Gelfand, from whom I received a letter
 introducting himself as Soviet Co-chairman of panel on AI and cybernetics.
 In it, I appeal to your authority as program chairman.
 CC: phw%MIT-AI



∂05-AUG-75  1337		ESS,JMC
 Please decorate gelfan.le1[let,jmc].
 CC: paw



∂03-AUG-75  0213		ESS,JMC
 Please make it stop sending me messages about the garbage.
 CC: WD